Matlis 对偶性(Matlis Duality)是交换代数中的一个重要对偶理论:在诺特局部环 \((R,\mathfrak m)\) 上,利用其注入包(通常取剩余域 \(k=R/\mathfrak m\) 的注入包 \(E=E_R(k)\))定义函子
\[
D(-)=\mathrm{Hom}_R(-,E),
\]
从而在某些模的类别中建立一种“对偶对应”。典型结论是:在适当条件下,有限生成模与Artinian 模之间通过 \(D\) 形成对偶关系,并且常见地有自然同构 \(M \cong D(D(M))\)(在相应类别中)。
/ˈmætliːs duːˈælɪti/
“Matlis”来自美国数学家 Eben Matlis 的姓氏;他在 1950s–1960s 的工作中系统建立了局部环上注入模的结构理论,并由此发展出这种以注入包为核心的对偶工具。“duality”源自拉丁语 dualis(“二、双”),在数学中指将对象与其“对偶对象”对应起来的思想。
Matlis duality relates finitely generated modules to Artinian modules over a Noetherian local ring.
Matlis 对偶性把诺特局部环上的有限生成模与 Artinian 模联系起来。
Using Matlis duality, one can translate questions about local cohomology into statements about Hom-modules into an injective hull.
借助 Matlis 对偶性,可以把关于局部上同调的问题转化为关于到某个注入包的 Hom-模的陈述。